1. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده : editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
2. Advances in Computing and Data Sciences :
پدیدآورنده : edited by Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören, Rekha Kashyap.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Computer science.
رده :
QA75
.
5
3. Advances in GPU research and practice /
پدیدآورنده : edited by Hamid Sarbazi-Azad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics.,Graphics processing units-- Programming.,Image processing-- Digital techniques.,Imaging systems.,Computer graphics.,COMPUTERS-- General.,Image processing-- Digital techniques.,Imaging systems.
رده :
T385
4. Advances in computer science and information technology :
پدیدآورنده : edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
5. Advances in computing and data sciences :
پدیدآورنده : Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Computer science.,Internet of things.
رده :
QA75
.
5
6. An Integrated Approach to Software Engineering
پدیدآورنده : by Pankaj Jalote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
7. An introduction to agent-based modeling :
پدیدآورنده : Uri Wilensky and William Rand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation,Multiagent systems,NetLogo (Computer program language),System analysis-- Data processing
رده :
T57
.
62
.
W54
2015eb
8. Analytic methods in systems and software testing /
پدیدآورنده : edited by Ron S. Kenett, KPA, Israel and Neaman Institute, Technion, Israel, Fabrizio Ruggeri, CNR-IMATI, Italy, Frederick W. Faltin, the Faltin Group, and Virginia Tech, USA.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
A52
2018eb
9. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
10. Blockchain for distributed systems security /
پدیدآورنده : edited by Sachin S. Shetty, Charles A. Kamhoua, Laurent L. Njilla.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Blockchains (Databases),Internet auctions-- Security measures.,Blockchains (Databases),COMPUTERS-- Security-- General.
رده :
QA76
.
9
.
B56
B56
2019eb
11. Computational artifacts :
پدیدآورنده : Raymond Turner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
167
12. Computer Aided Systems Theory - EUROCAST '95 :
پدیدآورنده : edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
13. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
14. Computer simulation validation :
پدیدآورنده : edited by Claus Beisbart, Nicole J. Saam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation.,Science-- Philosophy.,Computer simulation.,Computer software-- Validation.
رده :
QA76
.
9
.
C65
15. Dependable Computing for Critical Applications 2
پدیدآورنده : edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
16. Dependable computing for critical applications 3
پدیدآورنده : C.E. Landwehr, B. Randell, L. Simoncini, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software.,Falhas computacionais.,Fault-tolerant computing.
رده :
QA76
.
9
.
F38
C453
1993
17. Development of Triangular and Tetrahedral Finite Elements for Solutions to Thermoelastic Instabilities Using Hotspotter
پدیدآورنده : LeNeave, Cortney Samuel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering,Computer science
18. Development of Triangular and Tetrahedral Finite Elements for Solutions to Thermoelastic Instabilities Using Hotspotter
پدیدآورنده : LeNeave, Cortney Samuel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering,Computer science
19. Discrete element method in the design of transport systems :
پدیدآورنده : Daniel Gelnar, Jiri Zegzulka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bulk solids-- Transportation.,Discrete element method.,Bulk solids-- Transportation.,Discrete element method.,TRANSPORTATION-- Ships & Shipbuilding-- Pictorial.
رده :
HE595
.
B84
